type T () =
    class
    end
